| 1. Identificação | |
| Tipo de Referência | Livro ou Monografia (Book) |
| Site | mtc-m16b.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Repositório | sid.inpe.br/mtc-m17@80/2008/05.08.12.33 |
| Última Atualização | 2008:05.08.12.55.55 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/mtc-m17@80/2008/05.08.12.33.48 |
| Última Atualização dos Metadados | 2021:02.11.21.06.22 (UTC) administrator |
| Chave Secundária | INPE-15182-NTC/374 |
| Chave de Citação | AmbrósioMaCaSaArViLo:2007:ExPrUs |
| Título | Experiências em projetos e uso de técnicas de verficiação e validação de software em aplicações espaciais no INPE  |
| Ano | 2007 |
| Data de Acesso | 07 maio 2024 |
| Tipo Secundário | NTC |
| Número de Páginas | 45 |
| Número de Arquivos | 145 |
| Tamanho | 19314 KiB |
| 2. Contextualização | |
| Autor | 1 Ambrósio, Ana Maria 2 Mattiello-Francisco, Fátima 3 Cardoso, Luciana Seda 4 Santiago, Valdivino 5 Arias, Ronaldo 6 Vijaykumar, Nandamudi Lankalapalli 7 Loureiro, Geilson |
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 2 3 8JMKD3MGP5W/3C9JHM6 4 5 8JMKD3MGP5W/3C9JJ6S 6 8JMKD3MGP5W/3C9JHTU 7 8JMKD3MGP5W/3C9JH57 |
| Grupo | 1 DSS-INPE-MCT-BR 2 DSS-INPE-MCT-BR 3 DSS-INPE-MCT-BR 4 DAS-INPE-MCT-BR 5 DEA-INPE-MCT-BR 6 LAC-INPE-MCT-BR 7 LIT-INPE-MCT-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 Instituto Nacional de Pesquisas Espaciais (INPE) 6 Instituto Nacional de Pesquisas Espaciais (INPE) 7 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais |
| Cidade | São José dos Campos |
| Histórico (UTC) | 2008-05-08 12:37:53 :: simone -> administrator :: 2008-05-08 12:44:25 :: administrator -> simone :: 2008-05-08 12:52:28 :: simone -> jefferson :: 2008-05-08 12:56:22 :: jefferson -> administrator :: 2008-06-29 16:21:10 :: administrator -> jefferson :: 2008-10-22 17:20:45 :: jefferson -> administrator :: 2021-02-11 21:06:22 :: administrator -> marciana :: 2007 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Palavras-Chave | Testes de software aplicações espaciais teste de conformidade injeção de falhas por software ferramentas de teste processamento de v e v |
| Resumo | O caráter crítico de software em aplicações espaciais requer investigações em métodos sistemáticos e processos de teste acompanhados de ferramentas para verificação e validação (V&V). Este relatório descreve projetos, de pesquisa e de desenvolvimento em ferramentas, metodologias e processos para melhorar a qualidade dos sistemas de software das missões espaciais brasileiras, que estão em andamento no Instituto Nacional de Pesquisas Espaciais (INPE) atualmente. Alguns projetos abordam exclusivamente técnicas de teste de software como geração de dados de teste, seleção de dados de teste, ferramentas para apoiar a execução de testes, análise de resultados de testes e também de apoio ao gerenciamento de testes. Outros projetos cobrem um espectro mais abrangente no processo de verificação no ciclo de vida do software ou podem ser entendidos a uma visão de sistema. Este relatório apresentada trabalhos em andamento listando os projetos, ferramentas, metodologias, processos e técnicas de teste de software exploradas. Vantagens e desvantagens no desenvolvimento dos projetos percebidas pelas equipes são também discutidas. ABSTRACT: The critical feature of space applications requires investments of time and effort for defining systematic testing methods and processes associated to tools to support verification and validation (V&V). This report describe the research and development projects related to tool design, methodologies and processes definition to improve the quality of software and systems of the Brazilian Space Missions which are currently being carried on at the National Institute for Space Research. Some projects focuses exclusively on software testing techniques as, test data generation, test data selection, support to test execution, test result analysis and support to test management. Other projects cover a broader verification processes in the whole software lifecycle or may be applied at a system point of view. This report presents the ongoing projects, tools, methodologies, processes and testing techniques being applied in the current projects. The project advantages and drawbacks perceived by the working teams are also discussed. |
| Área | ETES |
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Experiências em projetos... |
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > Experiências em projetos... |
| Arranjo 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDEA > Experiências em projetos... |
| Arranjo 4 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > Experiências em projetos... |
| Arranjo 5 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Experiências em projetos... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://mtc-m16b.sid.inpe.br/ibi/sid.inpe.br/mtc-m17@80/2008/05.08.12.33 |
| URL dos dados zipados | http://mtc-m16b.sid.inpe.br/zip/sid.inpe.br/mtc-m17@80/2008/05.08.12.33 |
| Idioma | pt |
| Arquivo Alvo | paginadeacesso.html |
| Grupo de Usuários | administrator simone administrator jefferson |
| Visibilidade | shown |
| Detentor da Cópia | SID/SCD |
| Permissão de Atualização | transferida para jefferson |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETR8EH 8JMKD3MGPCW/3F6GF6B 8JMKD3MGPCW/444BQ9E 8JMKD3MGPCW/446B2HE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 2 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 sid.inpe.br/mtc-m21/2012/07.13.14.53.46 1 |
| Divulgação | NTRSNASA; BNDEPOSITOLEGAL. |
| Acervo Hospedeiro | lcp.inpe.br/ignes/2004/02.12.18.39 cptec.inpe.br/walmeida/2003/04.25.17.12 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi e-mailaddress edition editor electronicmailaddress format identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor seriestitle session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |